排序方式: 共有153条查询结果,搜索用时 109 毫秒
41.
42.
针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。 相似文献
43.
44.
针对伞翼无人机参数不确定性和复杂环境干扰敏感的问题,提出一种伞翼无人机线性自抗扰(Linear Active Disturbance Rejection Control,LADRC)高度控制方法。建立伞翼无人机8自由度飞行动力学模型,并引入风场和降雨模型以更加准确地模拟真实飞行环境。基于LADRC确定总体控制架构,设计线性扩张状态观测器对所有扰动进行估计,并引入误差反馈率在控制中实时补偿。使用该控制方法在多种扰动工况下进行伞翼无人机高度控制仿真实验。仿真结果表明,基于LADRC的高度控制方法能够有效克服内扰和外扰的影响,实现高精度高度控制;与传统PID控制效果相比,LADRC控制器具有更好的抗扰能力和鲁棒性。 相似文献
45.
陶国根 《兵团教育学院学报》2017,27(5)
加强乡村中小学教师队伍建设是实现城乡教育公平,补齐我国教育短板的关键所在.宜春市乡村中小学教育队伍建设面临着教师总体数量不足、年龄结构有待完善、整体素质有待提高、学科结构不尽合理、职称晋级比较难、工资待遇偏低等一系列问题.因此,要从改善乡村中小学教师的生存环境、增强乡村中小学教师的职业吸引力、提高乡村中小学教师培训的实效性、健全义务教育学校城乡教师交流机制和建立乡村教师编制动态调整机制五个方面着手,进一步加强乡村中小学教师队伍建设. 相似文献
46.
针对小型无人机目标雷达回波弱、目标检测难的问题,研究了在线性调频连续波(linear frequency modulation continuous wave, LFMCW)体制雷达下的长时间相参积累方法。通过推导LFMCW雷达回波表达式,提出了基于时域差频信号线性调频-Z变换的拉东-傅里叶变换实现方法。评估了该方法的运算量,并与频域实现的方法进行对比。经过仿真和实测数据验证了本文算法对LFMCW雷达下的弱目标相参积累的有效性。 相似文献
47.
48.
49.
飞行器曲线显示中的数据处理方法及实现 总被引:1,自引:0,他引:1
主要内容分为两个部分:处理方法和方法的应用。处理方法着重介绍了远程火箭弹道学和地图学的基本知识,内容包括:各种坐标之间的转换、被动段飞行轨迹的计算、常微分方程的数值解法。方法的应用以上述算法为核心,用实例说明了其使用情况,内容包括:v-t、x-y曲线中的坐标转换、v-t曲线中被动段弹道的平滑处理、箭下点曲线中的坐标转换和外推估算。 相似文献
50.